An Axiomatic Model for Deductive Object-Oriented Databases

Databases with both object-oriented and deductive features (DOOD) seem to be the most promising database technology. There are successful approaches to designing such systems. However, the resulting systems, in our opinion, still lack several important properties of fullfeatured DOOD’s. Realizing that some practical problems cannot be tackled with the former implementations, we reconsidered the mathematical foundations of the existing models. We propose a new model for DOOD’s that incorporates the whole range of deductive capabilities including constraints. We sketch out a proof that shows our model complies with Object Management Group’s Unified Modeling Language Specification (OMG’s UML).